suspension of types

悬垂型